0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 85 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 31 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 44 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 3 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇒, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → U7_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → U2_GAAAAG(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → ROW2COLC_IN_GAAAA(T24, T28, T29, X35, X36)
ROW2COLC_IN_GAAAA(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_GAAAA(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
ROW2COLC_IN_GAAAA(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → ROW2COLA_IN_GAAA(T57, T60, X91, X92)
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_GAAA(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → ROW2COLA_IN_GAAA(T82, T85, X139, X140)
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → ROW2COLC_IN_GAAAA(T24, T28, T29, .(T120, T121), T117)
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → PB_IN_GAAAAG(T115, T120, T121, X185, X186, T116)
PB_IN_GAAAAG(T24, T28, T29, T128, T128, []) → U5_GAAAAG(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
PB_IN_GAAAAG(T24, T28, T29, T128, T128, []) → ROW2COLC_IN_GAAAA(T24, T28, T29, T128, T128)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → U7_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → U2_GAAAAG(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → ROW2COLC_IN_GAAAA(T24, T28, T29, X35, X36)
ROW2COLC_IN_GAAAA(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_GAAAA(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
ROW2COLC_IN_GAAAA(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → ROW2COLA_IN_GAAA(T57, T60, X91, X92)
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_GAAA(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → ROW2COLA_IN_GAAA(T82, T85, X139, X140)
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → ROW2COLC_IN_GAAAA(T24, T28, T29, .(T120, T121), T117)
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → PB_IN_GAAAAG(T115, T120, T121, X185, X186, T116)
PB_IN_GAAAAG(T24, T28, T29, T128, T128, []) → U5_GAAAAG(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
PB_IN_GAAAAG(T24, T28, T29, T128, T128, []) → ROW2COLC_IN_GAAAA(T24, T28, T29, T128, T128)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → ROW2COLA_IN_GAAA(T82, T85, X139, X140)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
ROW2COLA_IN_GAAA(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → ROW2COLA_IN_GAAA(T82, T85, X139, X140)
ROW2COLA_IN_GAAA(.(T81, T82)) → ROW2COLA_IN_GAAA(T82)
From the DPs we obtained the following set of size-change graphs:
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → PB_IN_GAAAAG(T115, T120, T121, X185, X186, T116)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_in_gaaaag(T115, T120, T121, X185, X186, T116))
pB_in_gaaaag(T24, T28, T29, T128, T128, []) → U5_gaaaag(T24, T28, T29, T128, row2colC_in_gaaaa(T24, T28, T29, T128, T128))
U5_gaaaag(T24, T28, T29, T128, row2colC_out_gaaaa(T24, T28, T29, T128, T128)) → pB_out_gaaaag(T24, T28, T29, T128, T128, [])
U4_gaaaag(T24, T28, T29, T120, T121, T117, T115, T116, pB_out_gaaaag(T115, T120, T121, X185, X186, T116)) → pB_out_gaaaag(T24, T28, T29, .(T120, T121), T117, .(T115, T116))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
PB_IN_GAAAAG(T24, T28, T29, .(T120, T121), T117, .(T115, T116)) → U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_in_gaaaa(T24, T28, T29, .(T120, T121), T117))
U3_GAAAAG(T24, T28, T29, T120, T121, T117, T115, T116, row2colC_out_gaaaa(T24, T28, T29, .(T120, T121), T117)) → PB_IN_GAAAAG(T115, T120, T121, X185, X186, T116)
row2colC_in_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92)) → U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_in_gaaa(T57, T60, X91, X92))
U6_gaaaa(T56, T57, T58, T60, X91, X92, row2colA_out_gaaa(T57, T60, X91, X92)) → row2colC_out_gaaaa(.(T56, T57), .(T56, T58), T60, .(T58, X91), .([], X92))
row2colA_in_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140)) → U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_in_gaaa(T82, T85, X139, X140))
row2colA_in_gaaa([], [], [], []) → row2colA_out_gaaa([], [], [], [])
U1_gaaa(T81, T82, T83, T85, X139, X140, row2colA_out_gaaa(T82, T85, X139, X140)) → row2colA_out_gaaa(.(T81, T82), .(.(T81, T83), T85), .(T83, X139), .([], X140))
PB_IN_GAAAAG(T24, .(T115, T116)) → U3_GAAAAG(T115, T116, row2colC_in_gaaaa(T24))
U3_GAAAAG(T115, T116, row2colC_out_gaaaa(T117)) → PB_IN_GAAAAG(T115, T116)
row2colC_in_gaaaa(.(T56, T57)) → U6_gaaaa(row2colA_in_gaaa(T57))
U6_gaaaa(row2colA_out_gaaa(X92)) → row2colC_out_gaaaa(.([], X92))
row2colA_in_gaaa(.(T81, T82)) → U1_gaaa(row2colA_in_gaaa(T82))
row2colA_in_gaaa([]) → row2colA_out_gaaa([])
U1_gaaa(row2colA_out_gaaa(X140)) → row2colA_out_gaaa(.([], X140))
row2colC_in_gaaaa(x0)
U6_gaaaa(x0)
row2colA_in_gaaa(x0)
U1_gaaa(x0)
From the DPs we obtained the following set of size-change graphs: